用于密码协议安全性证明的串空间模型

形式化分析是密码协议安全性证明的一个有效途径。串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。文章介绍了串空间模型的研究背景,分析它的架构和特点,综述有关研究工作,并分析其进一步的研究趋势。     

悬臂式围护桩仿真分析研究

采用Midas/GTS仿真分析软件对黄土地区基坑支护进行三维数值模拟,结合实际工程特点,较为真实地得出了悬臂桩支护对桩周土体的影响,得到了开挖各阶段的土体变形曲线、桩身弯矩曲线,分析其原因、特点及规律,并对极可能出现的滑移趋势做出了分析。悬臂式支护结构主要依靠嵌入坑底土内的深度与结构的抗弯能力来维持基坑壁的稳定与结构的安全。所以对于悬臂式支护结构来说,嵌入土内的深度非常重要。因为悬臂式支护结构上端的水平位移往往是开挖深度的五次方函数,故它对开挖深度非常敏感,很容易产生大的变形,所以通常只适用于土质较好以及开挖深度较浅的基坑工程。     

动量策略、反转策略及其收益率的高阶矩风险

鉴于股市收益率常常表现出非对称性和"尖峰""厚尾"等系统性的高阶矩特征,本文在"均值-方差"CAPM和三因素模型等经典模型的基础上加入高阶矩风险,考查动量策略和反转策略的收益率是否可以进一步被高阶矩风险所解释.以中国沪深股市1998年1月至2009年n月所有A股的月度收益为样本,研究发现:(1)加入高阶矩风险能显著改进...     

环链多项式的性质

主要讨论具有两个分支环链L的几个多项式不变量的微分性质.对环链L的Jones多项式V(L;t)以及在Jones多项式基础上定义的几个L的多项式不变量X(L;t),Φ(L;t)求k阶导数,并研究它们在t=1时的整除性质,即V(k)(L;1),Φ(k)(L;1)和φ(k)(L;1)的整除性质.先将环链L用拆接关系式分解成纽结的形式,然后根据纽结的多项式不变量性质,得到具有两个分支的环链多项式不变量性质,进而得到L的多项式不变量的性质.     

纯量矩阵的几个充要条件

利用矩阵乘法的可交换性、矩阵特征向量、对角化、相似标准形,给出了纯量矩阵的几个充要条件,对文献[1]的主要结论给出了一个等价命题,并提供了一种简便的证明方法.     

一类非自治时滞微分系统的不变集与吸引集

研究了一类非自治时滞微分系统的解的不变集与吸引集.由谱半径的控制引理,利用积分的方法,得到其解的不变集与吸引集的存在条件及存在范围.     

车载视觉系统中机场场面标记牌识别算法

为实现移动车辆精确定位,提出了一种基于机场滑行道标记牌识别的方法。首先对图像进行预处理和二值化,利用数学形态学连通区域最大面积进行分割,实现候选区域(candidate region,CR)预确定;然后设计了一种基于CR区域单个字符连通域的外接矩形面积所占该标记牌牌面总面积的比值和字符宽高比的检验新方法,成功地将字符从背景中分离;最后采用连通域方法分割出单个字符。字符特征提取采用仿射不变矩的方法,选择支持向量机作为识别器,识别率达到96%。经验证,算法可较好地识别出标记牌字符,针对不同图像背景有较强的适应性,为下一步确定移动车辆的位置打下坚实基础。     

关于晶体对称性定理的证明(英文)

本文通过研究与晶体中轴性对称元素相联系的基本对称操作对应的变换矩阵,提出了一个关于晶体对称性定理的完全证明。结果发现:晶体的三维空间可以形式上分成两个彼此独立的子空间,同时所有二维不变子空间都具有完全相同的2×2阶变换矩阵;以该矩阵的迹等于整数(或零)为条件获得了晶体中轴性对称元素的轴次n的允许值。     

惯量张量不变量的证明

从理论上证明了刚体对具有公共坐标原点的任意正交坐标系的转动惯量之和是一个不变量．这表明,刚体虽然对不同正交轴的转动惯量不同,但是它们之间存在着联系．